Kleene theorems for skew formal power series

We investigate the theory of skew (formal) power series introduced by Droste, Kuske [5, 6], if the basic semiring is a Conway semiring. This yields Kleene Theorems for skew power series, whose supports contain finite and infinite words. We then develop a theory of convergence in semirings of skew power series based on the discrete convergence. As an application this yields a Kleene Theorem proved already by Droste, Kuske [5]

Rationally Additive Semirings

We define rationally additive semirings that are a generalization of (omega-)complete and (omega-)continuous semirings. We prove that every rationally additive semiring is an iteration semiring. Moreover, we characterize the semirings of rational power series with coefficients in N_infty, the semiring of natural numbers equipped with a top element, as the free rationally additive semirings

A Kleene theorem for weighted ω-pushdown automata

Weighted ω-pushdown automata were introduced as generalization of the classical pushdown automata accepting infinite words by Büchi acceptance. The main result in the proof of the Kleene Theorem is the construction of a weighted ω-pushdown automaton for the ω-algebraic closure of subsets of a continuous star-omega semiring

Continuous semiring-semimodule pairs and mixed algebraic systems

We associate with every commutative continuous semiring S and alphabet Σ a category whose objects are all sets and a morphism X → Y is determined by a function from X into the semiring of formal series S⟪(Y⊎Σ)*⟫ of finite words over Y⊎Σ, an X × Y -matrix over S⟪(Y⊎Σ)*⟫, and a function from into the continuous S⟪(Y⊎Σ)*⟫-semimodule S⟪(Y⊎Σ)ω⟫ of series of ω-words over Y⊎Σ. When S is also an ω-semiring (equipped with an infinite product operation), then we define a fixed point operation over our category and show that it satisfies all identities of iteration categories. We then use this fixed point operation to give semantics to recursion schemes defining series of finite and infinite words. In the particular case when the semiring is the Boolean semiring, we obtain the context-free languages of finite and ω-words